Stochastic non-determinism and effectivity functions
نویسندگان
چکیده
منابع مشابه
Stochastic Nondeterminism and Effectivity Functions
This paper investigates stochastic nondeterminism by relating nondeterministic labelled Markov processes and stochastic effectivity functions to each other; the underlying state spaces are continuous. Both generalizations to labelled Markov transition systems have been proposed recently with differing intentions. It turns out that they display surprising similarities and interesting differences...
متن کاملAlgebraic properties of stochastic effectivity functions
Effectivity functions are the basic formalism for investigating the semantics game logic. We discuss algebraic properties of stochastic effectivity functions, in particular the relationship to stochastic relations, morphisms and congruences are defined, and the relationship of abstract logical equivalence and behavioral equivalence is investigated.
متن کاملStochastic Transition Systems for Continuous State Spaces and Non-determinism
We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountable branching. Models of such systems have been proposed previously. Here, we introduce a model that extends probabilistic automata to the continuous setting. We identify the class of schedulers that ensures measurability propert...
متن کاملStable effectivity functions and perfect graphs
We consider the problem of characterizing the stability of effectivity functions (EFF), via a correspondence between game theoretic and well-known combinatorial concepts. To every EFF we assign a pair of hypergraphs, representing clique covers of two associated graphs, and obtain some necessary and some sufficient conditions for the stability of EFFs in terms of graphproperties. These condition...
متن کاملA stability index for local effectivity functions
We study the structure of unstable local effectivity functions defined for n players and p alternatives. A stability index based on the notion of cycle is introduced. In the particular case of simple games, the stability index is closely related to the Nakamura Number. In general it may be any integer between 2 and p. We prove that the stability index for maximal effectivity functions and for m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2015
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exv049